Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages-their model theory and proof theory, the theory of λ-abstraction and its generalizations-and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics.　A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.

Logic --- Logic, Symbolic and mathematical --- Logique --- Logique mathématique. --- Philosophie.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"More than a century after its composition, Tractatus Logico-Philosophicus--Wittgenstein's first masterwork, and the only book he published during his lifetime--endures as the definitive modern text on what logic can and cannot do. Since its first English-language publication in 1922, this profoundly enigmatic work has inspired philosophers and non-philosophers alike. Consisting of 525 hierarchically numbered statements, each one "self-evident," Tractatus Logico-Philosophicus is imbued, as translator Damion Searls writes, with the kind of cryptic grandeur and awe-inspiring opacity we might expect--might want--from such an iconic philosopher. Yet earlier translations, in their efforts to excessively copy German phrasing and syntax, range from stilted, even redolently Victorian, to downright impenetrable. With this new translation and insightful introduction on the language of the book, Searls finally does justice to Wittgenstein's masterpiece, capturing the fluid and forceful prose of the original without sacrificing any of its philosophical rigor. Indeed, in freeing the translation from the grip of the German language--revisiting, especially, the nouns and impersonal verbs that don't convey in English the precision and intensity of the German--Searls renders Wittgenstein's philosophy clearer and more accessible than ever before. Featuring a preface by eminent Wittgenstein scholar Marjorie Perloff, this bilingual, facing-page edition promises to become the standard for generations to come." --

Logic, Symbolic and mathematical. --- Language and logic --- Language and logic. --- Langage et logique. --- Logique symbolique et mathématique. --- Langage et logique --- PHILOSOPHY / Epistemology. --- Philosophy. --- Philosophie. --- Wittgenstein, Ludwig,